#include <bits/stdc++.h>
using namespace std;
int main(){
   	printf("a 12 2.300000 3.200000");
    return 0;
} 
